Search results for "Automatic programming"

Evaluating Model-Driven Development Claims with Respect to Quality: A Family of Experiments

2021

[EN] Context: There is a lack of empirical evidence on the differences between model-driven development (MDD), where code is automatically derived from conceptual models, and traditional software development method, where code is manually written. In our previous work, we compared both methods in a baseline experiment concluding that quality of the software developed following MDD was significantly better only for more complex problems (with more function points). Quality was measured through test cases run on a functional system. Objective: This paper reports six replications of the baseline to study the impact of problem complexity on software quality in the context of MDD. Method: We con…

An adaptive probabilistic graphical model for representing skills in PbD settings

2010

Off-line Programming and simulation for automatic robot control software generation

2007

In this paper an off-line programming approach for welding robots is presented. The approach is based on the integration of a software tool for robot simulation and an user-friendly interface for automatic generation of the control program. The user can graphically arrange the components in a robotic work-cell and simulate the movements and operations of robotic arms before converting motions and operating sequences in controller-specific tasks. This methodology guarantees high level of flexibility of the robotic system when high variety of work-pieces needs to be welded. The approach has been implemented and tested in a real welding work-cell.

In Search of Evidence for Model-Driven Development Claims: An Experiment on Quality, Effort, Productivity and Satisfaction

2015

Context: Model-Driven Development (MDD) is a paradigm that prescribes building conceptual models that abstractly represent the system and generating code from these models through transformation rules. The literature is rife with claims about the benefits of MDD, but they are hardly supported by evidences. Objective: This experimental investigation aims to verify some of the most cited benefits of MDD. Method: We run an experiment on a small set of classes using student subjects to compare the quality, effort, productivity and satisfaction of traditional development and MDD. The experiment participants built two web applications from scratch, one where the developers implement the code by h…

Fast narrowing-driven partial evaluation for inductively sequential programs

2005

Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good results on small programs, it does not scale up well to realistic problems (e.g., interpreter specialization). In this work, we introduce a faster partial evaluation scheme by ensuring the termination of the process offline . For this purpose, we first characterize a class of programs which are quasi-terminating , i.e., the computations performed with needed narrowing—the symbolic computation mechanism of narrowing-driven partial evaluation—only contain finitely many different terms (and, thus, partial evaluation termi…